Catch up to latest xeno-unstable
/* Just some sanity to ensure that the scheduler is set up okay. */
ASSERT(current->domain == IDLE_DOMAIN_ID);
domain_unpause_by_systemcontroller(current->domain);
- __enter_scheduler();
+ raise_softirq(SCHEDULE_SOFTIRQ);
+ do_softirq();
/*
* Declares CPU setup done to the boot processor.
#ifndef __ASM_DEBUGGER_H__
#define __ASM_DEBUGGER_H__
+#include <xen/softirq.h>
+
/* The main trap handlers use these helper macros which include early bail. */
static inline int debugger_trap_entry(
unsigned int vector, struct xen_regs *regs)
extern u32 tlbflush_time[NR_CPUS];
#define tlbflush_current_time() tlbflush_clock
+#define tlbflush_filter_cpuset(x,y) (0)
#define NEED_FLUSH(x, y) (0)
#endif